differential geometry stubs